package algo.LocalSearch;

import algo.Model.*;

public interface IFunction {
	public int getValue();
	public long getID();
	public LocalSolver getLocalSolver();
	public VarInt[] getVariables();
	public int getAssignDelta(VarInt x, int val);
	public void propagateInt(VarInt x, int val);
	public void initPropagate();
	//public IFunction[] getFunctions();
	public boolean verify();
	public String name();
}
